In 1933 Godel introduced a calculus of provability (also known as modal logic S4) and left open the question of its exact intended semantics. In this paper we give a solution to this problem. We find the logic LP of propositions and proofs and show that Godel's provability calculus is nothing but the forgetful projection of LP. This also achieves Godel's objective of defining intuitionistic propositional logic Int via classical proofs and provides a Brouwer-Heyting-Kolmogorov style provability semantics for Int which (...) resisted formalization since the early 1930s. LP may be regarded as a unified underlying structure for intuitionistic, modal logics, typed combinatory logic and λ-calculus. (shrink)

It begins by suggesting that it would be reasonable to accept the idea that theories of conversation and theories of argumentation are closely related. Working on the assumption that there is a close relationship between the two, it looks at some cross-cultural scenarios, and show how our theories of conversations generate implausible conclusions if asked to account for these scenarios. These conclusions, it shows, arise due to culture-specific assumptions made by theories of conversation.

Abstract:S. N. Balagangadhara, Sarika Rao, Jakob De Roover, and Marianne Keppens One of the best-known aspects of Indian society is its "rigid caste system" and the "evil practices of untouchability." It is a truism today to say that Indian society is divided into four castes, which are not allowed to mix. Many Indian texts are brought forward as evidence of this understanding of Indian society. The ancient Indian text Mānavadharmaśāstra or "Laws of Manu" takes a central place in such accounts. (...) This is especially the case for its verses on varṇasankara, translated as "mixing of social classes" or "intermixture of castes." Given the important role these verses play in the understanding of Indian culture, society, and policymaking, it is crucial to translate them accurately. Using one verse in one text, this article focuses on the standard translation and deals both critically and constructively with the received view. (shrink)

Study of Śivasvarodaya, work on yoga; includes original Sanskrit text with English translation.

Эта книга - удивительная картина сокровищ мировой философии, написанная живым и интересным языком, сквозь который видна необычная личность самого автора.

One of the convictions in religious studies and elsewhere is about the role dialogues play: by fulfilling the need for understanding, dialogues reduce violence. In this paper, we analyze two examples from Hinduism studies to show that precisely the opposite is true: dialogue about Hinduism has become the harbinger of violence. This is not because ‘outsiders’ have studied Hinduism or because the Hindu participants are religious ‘fundamentalists’ but because of the logical requirements of such a dialogue. Generalizing the structure of (...) this situation, we argue that, in certain dialogical situations, the requirements of reason conflict with the requirements of morality. (shrink)

Грамматика разума представляет собой новую для нашего времени науку, хотя создана она была еще в первой трети XIX века великим немецким ученым В. Гегелем. В предлагаемой Вашему вниманию книге данная наука впервые излагается в краткой доступной форме.

In this paper, I explore the links between liberal political theory and the evaluative nature of medical classification, arguing for stronger recognition of those links in a liberal model of medical practice. All judgments of medical or psychiatric "dysfunction," I argue, are fundamentally evaluative, reflecting our collective willingness or reluctance to tolerate and/or accommodate the conditions in question. Illness, then, is "socially constructed." But the relativist worries that this loaded phrase evokes are unfounded; patients, doctors, and communities will agree in (...) the vast majority of cases about what counts as illness. Where they cannot come to agreement, however, we are faced with precisely the sort of dispute about values and ways of life that the institutions of the liberal state are designed to accommodate. I accordingly sketch a model of medical practice, based loosely on Jürgen Habermas's political theories, designed to maximize both our awareness and our understanding of these disputes. (shrink)

Biography of Jiddu Krishnamurti, 1895-1986, Indian philosopher.

Treatise with auto-commentary on Dvaita philosophy.

Individual semiotic systems interpreting their environment are not well understood from the externalist approach typical of the scientific method. Science constructs probabilities describing large populations of systems, not individuals. The Umwelt, as the individually experienced/created aspects of the habitat aspect of its population’s ecological niche, is given an internalist understanding within the framework of the compositional hierarchy. Vagueness is an important aspect of the internalist condition. It is selectively reduced momentarily by creative choices that can have a Peircean semiotic formulation, (...) and which are often unpredictable externally, thereby appearing to be chance events. (shrink)

The civilizational turn in sociological theory is best understood as an attempt to do full justice to the autonomy of culture (against all versions of structural-functional theory) without conceding the issue to cultural determinism. Civilizational formations are based on combinations of cultural visions of the world with regulative frameworks of social life, but the relationship between the two levels is open to conflicting interpretations and strategic uses of them. Axial age civilizations open up new structural and historical dimensions of interaction (...) between cultural and social patterns, and are therefore central to the agenda of civilizational analysis. Among the later breakthroughs which draw on Axial sources, the emergence of modernity stands out as particularly important; the cultural and political program of modernity may be seen as a new and distinctive civilization, but it remains open to more or less formative influences from older civilizational legacies. (shrink)